Test Suite Evaluation and Generation
نویسنده
چکیده
We describe an approach to the synthesis of a benchmark test suite for evaluation of coverage analyzers, and new tools for test generation that have been developed for PVS and SAL.
منابع مشابه
Using the Particle Swarm Optimization Algorithm to Generate the Minimum Test Suite in Covering Array with Uniform Strength
Up to now, several useful algorithms have been proposed to generate covering array, which is one of the branches of combinatorial testing. The main challenge in generating such arrays is generation of the arrays with a minimum number of test cases (for efficiency) at a proper time (for performance), for large systems. Covering array generation strategies are often divided into two general categ...
متن کاملAdapting Naturally Occurring Test Suites for Evaluation of Clinical Question Answering
This paper describes the structure of a test suite for evaluation of clinical question answering systems; presents several manually compiled resources found useful for test suite generation; and describes the adaptation of these resources for evaluation of a clinical question answering system.
متن کاملTest Case Generation for Program Repair: A Study of Feasibility and Effectiveness
Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair. Test-suites are in essence input-output specifications and are therefore typically inadequate for completely specifying the expected behavior of the program under repair. Consequently, the patches generated by test suite based program repair techniques pass the...
متن کاملPartition-Oriented Test Generation
In this paper, we deal with input partition-oriented, model-based test suite generation. We extend existing control-flow-based coverage criteria, describe corresponding tool support, and present an exemplary evaluation based on mutation analysis. All explanations are substantiated by an example of a freight elevator.
متن کاملPerformance Evaluation of Testing for Maintaining Software-Quality
Test development is an expensive technique. Saving the test suite for the software application by which test cases from the suite can be used for the software maintenance. We propose to develop Specification Analyser that accepts specification like statement coverage, code coverage for the generation of efficient test cases from test suite. The Specification Analyser compares the information ab...
متن کامل